echo "
verilog work \"$FW_SRC_DIR/Delay.v\"
verilog work \"$FW_SRC_DIR/DebugTap.v\"
verilog work \"$FW_SRC_DIR/FIFO16_REP.v\"
verilog work \"$FW_SRC_DIR/PicoStreamIn.v\"
verilog work \"$FW_SRC_DIR/PicoStreamOut.v\"
verilog work \"$FW_SRC_DIR/PulseGen.v\"
verilog work \"$FW_SRC_DIR/ShortFallingDelay.v\"
verilog work \"$FW_SRC_DIR/RisingAndFallingDelay.v\"
verilog work \"$FW_SRC_DIR/LongDelay.v\"
verilog work \"$FW_SRC_DIR/FlashWaitTimer.v\"
verilog work \"$FW_SRC_DIR/E12Tuple.v\"
verilog work \"$FW_SRC_DIR/AddressLatchDecoder.v\"
verilog work \"$FW_SRC_DIR/VccAuxFix.v\"
verilog work \"$FW_SRC_DIR/TupleDecoder.v\"
verilog work \"$FW_SRC_DIR/StatusAndReset.v\"
verilog work \"$FW_SRC_DIR/MDIO.v\"
verilog work \"$FW_SRC_DIR/JTAGEmulator.v\"
verilog work \"$FW_SRC_DIR/FlashROM.v\"
verilog work \"$FW_SRC_DIR/DCMClockFix.v\"
verilog work \"$FW_SRC_DIR/CardInfo.v\"
verilog work \"$FW_SRC_DIR/CPLDController.v\"
verilog work \"$FW_SRC_DIR/CFMemWrite.v\"
verilog work \"$FW_SRC_DIR/CFMemRead.v\"
verilog work \"$FW_SRC_DIR/CFIOWrite.v\"
verilog work \"$FW_SRC_DIR/CFIORead.v\"
verilog work \"$FW_SRC_DIR/CFDatabusDecoder.v\"
verilog work \"$FW_SRC_DIR/CFClockGen.v\"
verilog work \"$FW_SRC_DIR/CFClean.v\"
verilog work \"$FW_SRC_DIR/CFCOR.v\"
verilog work \"$FW_SRC_DIR/CFCECleaner.v\"
verilog work \"$FW_SRC_DIR/CFByteMode.v\"
verilog work \"$FW_SRC_DIR/CFAddressDecoder.v\"
verilog work \"$FW_SRC_DIR/MemoryPeripherals.v\"
verilog work \"$FW_SRC_DIR/IOPeripherals.v\"
verilog work \"$FW_SRC_DIR/CFDecoder.v\"
verilog work \"$FW_SRC_DIR/BackplaneDetector.v\"
verilog work \"$FW_SRC_DIR/CFBase.v\"
verilog work \"$FW_SRC_DIR/BMtestCounter.v\"
verilog work \"$FW_SRC_DIR/IntrMapper.v\"
verilog work \"$FW_SRC_DIR/E12toPicoBusBridge.v\"
"
if [ $ENABLE_PPC = y ]; then #{
echo "
verilog work \"$FW_SRC_DIR/OPBWait.v\"
verilog work \"$FW_SRC_DIR/Keyhole.v\"
verilog work \"$FW_SRC_DIR/OPBMemBridge.v\"
verilog work \"$FW_SRC_DIR/OPBCtrl.v\"
verilog work \"$FW_SRC_DIR/OPBFlash.v\"
verilog work \"$FW_SRC_DIR/PPCSystem.v\"
verilog work \"$FW_SRC_DIR/PPCFunctions.v\"
verilog work \"$EDK_DIR/hdl/system.v\"
"
else # }{ENABLE_PPC
echo "
#verilog work \"$FW_SRC_DIR/PPCClockGen.v\"
"
fi # }ENABLE_PPC

 for f in $USER_VERILOG_FILES; do echo verilog work \"$CURRENT_DIR$f\"; done

